Coloured petri nets to model geographical interlocking for railway
نویسندگان
چکیده
Petri nets have been widely applied in different aspects of railway modelling and analysis. This paper presents an insight into how coloured Petri nets can be used to model geographical interlocking. We start with a generalisation of coloured Petri nets and follow with an overview of interlocking. In the main body we present a generic unit model and demonstrate how it can be used to represent a simple junction, comprising of three fundamental components; namely track, signal and point units.
منابع مشابه
Modelling Railway Interlocking Tables Using Coloured Petri Nets
Interlocking tables are the functional specification defining the routes, on which the passage of the train is allowed. Associated with the route, the states and actions of all related signalling equipment are also specified. This paper formally models the interlocking tables using Coloured Petri Nets (CPN). The CPN model comprises two parts: Signaling Layout and Interlocking Control. The Signa...
متن کاملExperience using Coloured Petri Nets to Model Railway Interlocking Tables
Interlocking tables are the functional specification defining the routes on which the passage of the train is allowed. Associated with the route, the states and actions of all related signalling equipment are also specified. It is well-known that designing and verifying the interlocking tables are labour intensive, tedious and prone to errors. To assist the verification process and detect error...
متن کاملFail-Safe Signalization and Interlocking Design for a Railway Yard: An Automation Petri Net Approach
The most important issue in railway systems is to provide safe transportation. Since no error can be tolerated in railway systems it is an obligation to use reliable signalization and interlocking systems which have to decide what to do in unexpected situations like switch disruptions or signal light defects. By the rapid development in railway systems more formal methods are needed for modelin...
متن کاملAvailability evaluation of Software architecture of object oriented Style using coloured Petri nets
Software architecture is one of the most fundamental products in the process of software development in the areas of behavioral or non- behavioral features like availability or transformability change. There are different ways to evaluate software architecture one of which is the creation of application model. An executable model of software architecture is an official description of architectu...
متن کاملModelling Functionality of Train Control Systems using Petri Nets
Railway safety systems are highly complex systems with respect to functionality as well as dependability. The new European Train Control System (ETCS) as one part of the European Rail Traffic Management System (ERTMS) is the example presented here. A formal model using Coloured Petri Nets (CPN) was prepared by using the existing ERTMS/ETCS specification as a basis. The applied method is an inte...
متن کامل